Stochastic Process Algebras | a Formal Approach to Performance Modelling
نویسندگان
چکیده
This tutorial will introduce the audience to the beneets of performance modelling using stochas-tic process algebras (SPA). We will show how the formality of these languages may be exploited during performance analysis, supporting structured approaches to the construction, manipulation and solution of performance models. Recent results which identify SPA models which are susceptible to eecient solution and the implications of the formal approach for tool support will also be discussed.
منابع مشابه
Stochastic Process
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras...
متن کاملProblem Id
We introduce Stochastic Process Algebras as a novel approach for the struc-tured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras. After advocating the use of stochasti...
متن کاملStochastic process algebras: integrating qualitative and quantitative modelling
Stochastic process algebras (SPA) have emerged from work over the last five years investigating the use of process algebras for performance modelling. Like other stochastic extensions of existing system description techniques, they offer exciting possibilities for integrating qualitative and quantitative analysis. The use of such languages facilitates the early consideration of the temporal pro...
متن کاملStochastic Process Algebras : a New Approach
10.1 INTRODUCTION In this chapter we present an introduction to the novel approach to performance modeling provided by Stochastic Process Algebras (SPA). Like queueing networks and stochastic Petri nets, and their variants, these formal languages can be regarded as high-level model speciication languages for low-level stochastic models. The advantages of SPAs are that they incorporate the attra...
متن کاملStochastic Process Algebras: Past, Present and Future
In the last decade a new formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems has emerged with Stochastic Process Algebras (SPA for short). Like classical process algebras, they are algebraic languages endowed with a small set of powerful operators whereby it is possible to construct algebriac models from simpler ones. The main advantages ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996